Note on Eur. Alc. 501.
نویسندگان
چکیده
منابع مشابه
AN-501 Appl Note
Aperture Uncertainty One of the key concerns when performing IF sampling is that of aperture jitter or aperture uncertainty. The terms aperture jitter and aperture uncertainty are frequently interchanged in text. In this application, they have the same meaning. Aperture uncertainty is the sample-tosample variation in the encode process. Aperture uncertainty has three residual effects: the first...
متن کاملA Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases
In this paper we show that it is possible to eliminate inverse roles and functional restrictions from ALCFI knowledge bases, while preserving the soundness and completeness of inference. Specifically, we present two polynomial encodings, the first from ALCFI knowledge bases intoALCI ones, and the second fromALCI knowledge bases into ALC ones. These encodings eliminate functional restrictions an...
متن کاملUpdate on the systolic hypertension in Europe (Syst-Eur) trial. The Syst-Eur Investigators.
The Syst-Eur trial was stopped after the second of 4 planned interim analyses, when predefined stopping rules1 revealed that active treatment diminished the incidence of stroke, the primary endpoint. The ethics committee unanimously resolved that all endpoints that had occurred before February 14, 1997, at 5 PM should be included in the final analysis. The long communication lines between the c...
متن کاملHam-alc
HAM-ALC: The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classifier which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semant...
متن کاملExplaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities were not available for expressive DLs, whose reasoning is an un-natural refutation-based tableau. We offer a solution based on a sequent calculus that is closely related to the tableau implementation, exploiting its op...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Classical Review
سال: 1898
ISSN: 0009-840X,1464-3561
DOI: 10.1017/s0009840x0003331x